[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 234 43 21 0 0 32 0 34

N.S.

1 1.16 0.21 0.10 0.00 0.00 0.16 0.00 0.17

time (sec)

N/A 0.269 4.997 2.123 0.000 0.000 0.401 0.000 4.433

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 255 46 23 0 0 36 0 36

N.S.

1 1.14 0.21 0.10 0.00 0.00 0.16 0.00 0.16

time (sec)

N/A 0.286 5.110 2.161 0.000 0.000 0.433 0.000 4.630

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 278 48 23 0 0 39 0 0

N.S.

1 1.14 0.20 0.09 0.00 0.00 0.16 0.00 0.00

time (sec)

N/A 0.307 10.014 2.144 0.000 0.000 0.528 0.000 0.000

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 301 48 23 0 0 39 0 0

N.S.

1 1.15 0.18 0.09 0.00 0.00 0.15 0.00 0.00

time (sec)

N/A 0.327 10.011 2.164 0.000 0.000 0.543 0.000 0.000

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

138 148 68 42 0 0 31 0 0

N.S.

1 1.07 0.49 0.30 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.227 5.496 2.200 0.000 0.000 0.481 0.000 0.000

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

120 125 63 42 0 0 31 0 0

N.S.

1 1.04 0.52 0.35 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.212 5.348 2.188 0.000 0.000 0.444 0.000 0.000

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

102 102 57 42 0 0 31 0 0

N.S.

1 1.00 0.56 0.41 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.193 4.993 2.194 0.000 0.000 0.444 0.000 0.000

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

82 82 43 40 0 0 29 0 34

N.S.

1 1.00 0.52 0.49 0.00 0.00 0.35 0.00 0.41

time (sec)

N/A 0.179 4.834 2.163 0.000 0.000 0.419 0.000 0.085

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 104 46 42 0 0 29 0 23

N.S.

1 1.00 0.44 0.40 0.00 0.00 0.28 0.00 0.22

time (sec)

N/A 0.197 5.216 2.197 0.000 0.000 0.503 0.000 4.691

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

122 127 48 42 0 0 32 0 0

N.S.

1 1.04 0.39 0.34 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.218 10.012 2.203 0.000 0.000 0.548 0.000 0.000

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

140 150 48 42 0 0 32 0 0

N.S.

1 1.07 0.34 0.30 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.231 10.013 2.182 0.000 0.000 0.592 0.000 0.000

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 149 68 23 0 0 36 0 0

N.S.

1 1.07 0.49 0.17 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.230 5.859 2.186 0.000 0.000 0.490 0.000 0.000

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 126 63 23 0 0 36 0 0

N.S.

1 1.04 0.52 0.19 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.213 5.369 2.179 0.000 0.000 0.460 0.000 0.000

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 58 23 0 0 36 0 0

N.S.

1 1.00 0.56 0.22 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.198 4.941 2.150 0.000 0.000 0.461 0.000 0.000

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 43 21 0 0 34 0 34

N.S.

1 1.00 0.51 0.25 0.00 0.00 0.40 0.00 0.40

time (sec)

N/A 0.183 4.872 2.135 0.000 0.000 0.424 0.000 4.712

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 46 23 0 0 34 0 36

N.S.

1 1.00 0.44 0.22 0.00 0.00 0.32 0.00 0.34

time (sec)

N/A 0.196 5.289 7.854 0.000 0.000 0.500 0.000 4.868

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 128 48 23 0 0 37 0 0

N.S.

1 1.04 0.39 0.19 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.215 10.009 2.169 0.000 0.000 0.554 0.000 0.000

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 151 48 23 0 0 37 0 0

N.S.

1 1.07 0.34 0.16 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.232 10.011 2.164 0.000 0.000 0.585 0.000 0.000

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

152 158 102 0 0 0 46 0 0

N.S.

1 1.04 0.67 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.332 10.083 0.000 0.000 0.000 13.311 0.000 0.000

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

118 120 85 0 0 0 46 0 0

N.S.

1 1.02 0.72 0.00 0.00 0.00 0.39 0.00 0.00

time (sec)

N/A 0.282 10.045 0.000 0.000 0.000 1.317 0.000 0.000

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

89 92 54 0 0 0 46 0 0

N.S.

1 1.03 0.61 0.00 0.00 0.00 0.52 0.00 0.00

time (sec)

N/A 0.248 10.016 0.000 0.000 0.000 0.739 0.000 0.000

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

94 97 56 0 0 0 32 0 0

N.S.

1 1.03 0.60 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.251 10.017 0.000 0.000 0.000 1.884 0.000 0.000

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

123 134 56 0 0 0 36 0 0

N.S.

1 1.09 0.46 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.288 10.020 0.000 0.000 0.000 15.309 0.000 0.000

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

154 174 56 0 0 0 36 0 0

N.S.

1 1.13 0.36 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.328 10.027 0.000 0.000 0.000 146.139 0.000 0.000

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 158 109 0 0 0 46 0 0

N.S.

1 1.07 0.74 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.277 0.564 0.000 0.000 0.000 4.922 0.000 0.000

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

116 121 96 0 0 0 46 0 0

N.S.

1 1.04 0.83 0.00 0.00 0.00 0.40 0.00 0.00

time (sec)

N/A 0.240 0.291 0.000 0.000 0.000 1.006 0.000 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 119 92 0 0 0 49 0 0

N.S.

1 1.11 0.86 0.00 0.00 0.00 0.46 0.00 0.00

time (sec)

N/A 0.239 0.237 0.000 0.000 0.000 1.217 0.000 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 26 21 0 25 78 0 37

N.S.

1 1.00 0.93 0.75 0.00 0.89 2.79 0.00 1.32

time (sec)

N/A 0.144 0.148 2.145 0.000 0.368 4.582 0.000 4.769

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 46 31 0 46 124 0 51

N.S.

1 1.00 0.81 0.54 0.00 0.81 2.18 0.00 0.89

time (sec)

N/A 0.167 0.180 7.816 0.000 0.286 46.353 0.000 4.742

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 93 47 42 0 57 0 0 65

N.S.

1 1.09 0.55 0.49 0.00 0.67 0.00 0.00 0.76

time (sec)

N/A 0.191 0.194 2.156 0.000 0.285 0.000 0.000 4.740

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 129 58 53 0 68 0 0 79

N.S.

1 1.14 0.51 0.47 0.00 0.60 0.00 0.00 0.70

time (sec)

N/A 0.210 1.506 2.154 0.000 0.283 0.000 0.000 4.758

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

122 126 88 0 0 0 48 0 0

N.S.

1 1.03 0.72 0.00 0.00 0.00 0.39 0.00 0.00

time (sec)

N/A 0.293 10.046 0.000 0.000 0.000 1.388 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

92 95 55 0 0 0 39 0 0

N.S.

1 1.03 0.60 0.00 0.00 0.00 0.42 0.00 0.00

time (sec)

N/A 0.252 10.016 0.000 0.000 0.000 0.757 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

97 100 57 0 0 0 36 0 0

N.S.

1 1.03 0.59 0.00 0.00 0.00 0.37 0.00 0.00

time (sec)

N/A 0.260 10.017 0.000 0.000 0.000 1.904 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

127 138 57 0 0 0 39 0 0

N.S.

1 1.09 0.45 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.302 10.020 0.000 0.000 0.000 15.505 0.000 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

159 179 57 0 0 0 39 0 0

N.S.

1 1.13 0.36 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.333 10.014 0.000 0.000 0.000 148.439 0.000 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

343 333 177 0 0 0 48 0 0

N.S.

1 0.97 0.52 0.00 0.00 0.00 0.14 0.00 0.00

time (sec)

N/A 0.535 0.768 0.000 0.000 0.000 4.868 0.000 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

307 295 162 0 0 0 48 0 0

N.S.

1 0.96 0.53 0.00 0.00 0.00 0.16 0.00 0.00

time (sec)

N/A 0.474 0.391 0.000 0.000 0.000 0.984 0.000 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

296 293 161 0 0 0 51 0 0

N.S.

1 0.99 0.54 0.00 0.00 0.00 0.17 0.00 0.00

time (sec)

N/A 0.471 0.349 0.000 0.000 0.000 1.235 0.000 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 27 22 0 35 178 0 38

N.S.

1 1.00 0.93 0.76 0.00 1.21 6.14 0.00 1.31

time (sec)

N/A 0.145 0.147 2.152 0.000 0.297 4.563 0.000 4.378

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 48 32 0 46 462 0 51

N.S.

1 1.00 0.81 0.54 0.00 0.78 7.83 0.00 0.86

time (sec)

N/A 0.175 0.166 7.838 0.000 0.293 45.361 0.000 4.466

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 96 48 43 0 58 0 0 65

N.S.

1 1.09 0.55 0.49 0.00 0.66 0.00 0.00 0.74

time (sec)

N/A 0.193 0.172 2.168 0.000 0.295 0.000 0.000 4.497

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 133 59 54 0 69 0 0 79

N.S.

1 1.14 0.50 0.46 0.00 0.59 0.00 0.00 0.68

time (sec)

N/A 0.221 1.460 2.174 0.000 0.298 0.000 0.000 4.621

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 125 97 0 0 301 44 0 0

N.S.

1 1.07 0.83 0.00 0.00 2.57 0.38 0.00 0.00

time (sec)

N/A 0.230 0.287 0.000 0.000 0.279 1.218 0.000 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 94 65 0 0 240 44 0 0

N.S.

1 1.13 0.78 0.00 0.00 2.89 0.53 0.00 0.00

time (sec)

N/A 0.202 0.196 0.000 0.000 0.267 0.795 0.000 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 26 21 0 25 36 0 25

N.S.

1 1.00 0.93 0.75 0.00 0.89 1.29 0.00 0.89

time (sec)

N/A 0.145 0.159 2.153 0.000 0.270 1.727 0.000 4.953

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 36 31 0 35 80 0 40

N.S.

1 1.00 0.63 0.54 0.00 0.61 1.40 0.00 0.70

time (sec)

N/A 0.169 0.188 7.738 0.000 0.284 20.528 0.000 4.946

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 93 47 42 0 46 0 0 54

N.S.

1 1.09 0.55 0.49 0.00 0.54 0.00 0.00 0.64

time (sec)

N/A 0.189 0.203 2.158 0.000 0.281 0.000 0.000 4.942

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 161 87 0 0 0 44 0 0

N.S.

1 1.03 0.56 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.263 10.026 0.000 0.000 0.000 32.345 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 123 69 0 0 0 44 0 0

N.S.

1 0.98 0.55 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.233 10.019 0.000 0.000 0.000 3.450 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 85 56 0 0 0 44 0 0

N.S.

1 1.02 0.67 0.00 0.00 0.00 0.53 0.00 0.00

time (sec)

N/A 0.204 10.013 0.000 0.000 0.000 0.572 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 92 54 0 0 0 31 0 0

N.S.

1 1.02 0.60 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.206 10.013 0.000 0.000 0.000 1.092 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 132 56 0 0 0 34 0 0

N.S.

1 1.05 0.44 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.239 10.014 0.000 0.000 0.000 6.600 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

157 172 56 0 0 0 34 0 0

N.S.

1 1.10 0.36 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.269 10.014 0.000 0.000 0.000 60.709 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

308 291 161 0 0 324 46 0 0

N.S.

1 0.94 0.52 0.00 0.00 1.05 0.15 0.00 0.00

time (sec)

N/A 0.468 0.542 0.000 0.000 0.276 1.213 0.000 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

272 259 125 0 0 262 46 0 0

N.S.

1 0.95 0.46 0.00 0.00 0.96 0.17 0.00 0.00

time (sec)

N/A 0.430 0.338 0.000 0.000 0.281 0.826 0.000 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 27 22 0 26 88 0 26

N.S.

1 1.00 0.93 0.76 0.00 0.90 3.03 0.00 0.90

time (sec)

N/A 0.141 0.177 2.174 0.000 0.281 1.825 0.000 4.989

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 37 32 0 36 343 0 41

N.S.

1 1.00 0.63 0.54 0.00 0.61 5.81 0.00 0.69

time (sec)

N/A 0.171 0.241 7.890 0.000 0.281 20.808 0.000 4.977

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 96 48 43 0 47 0 0 55

N.S.

1 1.09 0.55 0.49 0.00 0.53 0.00 0.00 0.62

time (sec)

N/A 0.192 0.232 2.183 0.000 0.262 0.000 0.000 5.056

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 131 71 0 0 0 46 0 0

N.S.

1 1.02 0.55 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.250 10.024 0.000 0.000 0.000 3.159 0.000 0.000

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 92 57 0 0 0 46 0 0

N.S.

1 1.02 0.63 0.00 0.00 0.00 0.51 0.00 0.00

time (sec)

N/A 0.213 10.011 0.000 0.000 0.000 0.553 0.000 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 70 55 0 0 0 32 0 0

N.S.

1 1.03 0.81 0.00 0.00 0.00 0.47 0.00 0.00

time (sec)

N/A 0.190 10.017 0.000 0.000 0.000 1.065 0.000 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 102 57 0 0 0 39 0 0

N.S.

1 1.02 0.57 0.00 0.00 0.00 0.39 0.00 0.00

time (sec)

N/A 0.220 10.014 0.000 0.000 0.000 6.468 0.000 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 143 57 0 0 0 36 0 0

N.S.

1 1.10 0.44 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.246 10.015 0.000 0.000 0.000 59.414 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

86 89 66 0 0 0 44 0 0

N.S.

1 1.03 0.77 0.00 0.00 0.00 0.51 0.00 0.00

time (sec)

N/A 0.258 10.025 0.000 0.000 0.000 1.048 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

66 69 54 0 0 0 31 0 0

N.S.

1 1.05 0.82 0.00 0.00 0.00 0.47 0.00 0.00

time (sec)

N/A 0.231 10.010 0.000 0.000 0.000 0.936 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

97 100 56 0 0 0 48 0 0

N.S.

1 1.03 0.58 0.00 0.00 0.00 0.49 0.00 0.00

time (sec)

N/A 0.266 10.016 0.000 0.000 0.000 4.052 0.000 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

126 140 56 0 0 0 34 0 0

N.S.

1 1.11 0.44 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.298 10.023 0.000 0.000 0.000 43.811 0.000 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

157 180 56 0 0 0 0 0 0

N.S.

1 1.15 0.36 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 10.012 0.000 0.000 0.000 0.000 0.000 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 127 97 0 0 0 44 0 0

N.S.

1 1.09 0.83 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.250 0.296 0.000 0.000 0.000 3.891 0.000 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

84 92 67 0 0 0 44 0 0

N.S.

1 1.10 0.80 0.00 0.00 0.00 0.52 0.00 0.00

time (sec)

N/A 0.219 0.216 0.000 0.000 0.000 0.772 0.000 0.000

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 24 21 0 25 36 0 22

N.S.

1 1.00 0.92 0.81 0.00 0.96 1.38 0.00 0.85

time (sec)

N/A 0.148 0.188 2.163 0.000 0.312 1.435 0.000 4.755

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 34 29 0 35 78 0 40

N.S.

1 1.00 0.62 0.53 0.00 0.64 1.42 0.00 0.73

time (sec)

N/A 0.170 0.242 7.962 0.000 0.363 13.872 0.000 4.774

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 89 47 42 0 46 483 0 54

N.S.

1 1.07 0.57 0.51 0.00 0.55 5.82 0.00 0.65

time (sec)

N/A 0.193 0.289 2.184 0.000 0.357 119.674 0.000 4.839

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

91 94 68 0 0 0 46 0 0

N.S.

1 1.03 0.75 0.00 0.00 0.00 0.51 0.00 0.00

time (sec)

N/A 0.259 10.022 0.000 0.000 0.000 1.096 0.000 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

68 71 55 0 0 0 32 0 0

N.S.

1 1.04 0.81 0.00 0.00 0.00 0.47 0.00 0.00

time (sec)

N/A 0.236 10.011 0.000 0.000 0.000 0.990 0.000 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

100 103 57 0 0 0 39 0 0

N.S.

1 1.03 0.57 0.00 0.00 0.00 0.39 0.00 0.00

time (sec)

N/A 0.273 10.012 0.000 0.000 0.000 3.987 0.000 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

130 144 57 0 0 0 36 0 0

N.S.

1 1.11 0.44 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.302 10.014 0.000 0.000 0.000 42.813 0.000 0.000

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

162 185 57 0 0 0 0 0 0

N.S.

1 1.14 0.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 10.014 0.000 0.000 0.000 0.000 0.000 0.000

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

308 301 164 0 0 0 46 0 0

N.S.

1 0.98 0.53 0.00 0.00 0.00 0.15 0.00 0.00

time (sec)

N/A 0.490 0.570 0.000 0.000 0.000 3.829 0.000 0.000

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

272 265 127 0 0 0 46 0 0

N.S.

1 0.97 0.47 0.00 0.00 0.00 0.17 0.00 0.00

time (sec)

N/A 0.445 0.368 0.000 0.000 0.000 0.767 0.000 0.000

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 25 22 0 26 90 0 23

N.S.

1 1.00 0.93 0.81 0.00 0.96 3.33 0.00 0.85

time (sec)

N/A 0.152 0.212 2.193 0.000 0.303 1.459 0.000 4.745

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 35 30 0 34 352 0 41

N.S.

1 1.00 0.61 0.53 0.00 0.60 6.18 0.00 0.72

time (sec)

N/A 0.173 0.263 7.979 0.000 0.271 13.614 0.000 5.205

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 92 48 43 0 47 1263 0 55

N.S.

1 1.07 0.56 0.50 0.00 0.55 14.69 0.00 0.64

time (sec)

N/A 0.198 0.315 2.182 0.000 0.263 117.104 0.000 4.821

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 158 131 0 0 400 44 0 0

N.S.

1 1.08 0.90 0.00 0.00 2.74 0.30 0.00 0.00

time (sec)

N/A 0.262 0.460 0.000 0.000 0.291 13.016 0.000 0.000

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 120 91 0 0 327 44 0 0

N.S.

1 1.12 0.85 0.00 0.00 3.06 0.41 0.00 0.00

time (sec)

N/A 0.226 0.353 0.000 0.000 0.295 2.037 0.000 0.000

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 24 21 0 31 34 0 29

N.S.

1 1.00 0.92 0.81 0.00 1.19 1.31 0.00 1.12

time (sec)

N/A 0.144 0.188 2.171 0.000 0.271 1.440 0.000 4.792

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 34 29 0 48 78 0 57

N.S.

1 1.00 0.62 0.53 0.00 0.87 1.42 0.00 1.04

time (sec)

N/A 0.167 0.228 7.965 0.000 0.395 7.456 0.000 4.909

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 89 47 42 0 61 384 0 70

N.S.

1 1.07 0.57 0.51 0.00 0.73 4.63 0.00 0.84

time (sec)

N/A 0.188 0.385 2.208 0.000 0.324 71.119 0.000 4.975

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 125 58 53 0 72 0 0 85

N.S.

1 1.15 0.53 0.49 0.00 0.66 0.00 0.00 0.78

time (sec)

N/A 0.213 0.485 2.208 0.000 0.327 0.000 0.000 5.051

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

155 168 87 0 0 0 0 0 0

N.S.

1 1.08 0.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.270 10.031 0.000 0.000 0.000 0.000 0.000 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 130 74 0 0 0 44 0 0

N.S.

1 1.05 0.60 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.243 10.031 0.000 0.000 0.000 38.945 0.000 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 92 60 0 0 0 44 0 0

N.S.

1 1.02 0.67 0.00 0.00 0.00 0.49 0.00 0.00

time (sec)

N/A 0.210 10.026 0.000 0.000 0.000 3.858 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 65 59 0 0 0 44 0 0

N.S.

1 1.03 0.94 0.00 0.00 0.00 0.70 0.00 0.00

time (sec)

N/A 0.188 10.013 0.000 0.000 0.000 1.065 0.000 0.000

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 95 57 0 0 0 48 0 0

N.S.

1 1.02 0.61 0.00 0.00 0.00 0.52 0.00 0.00

time (sec)

N/A 0.213 10.014 0.000 0.000 0.000 2.941 0.000 0.000

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 135 59 0 0 0 34 0 0

N.S.

1 1.07 0.47 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.242 10.013 0.000 0.000 0.000 24.749 0.000 0.000

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

157 175 59 0 0 0 0 0 0

N.S.

1 1.11 0.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.278 10.016 0.000 0.000 0.000 0.000 0.000 0.000

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 56 0 0 0 44 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.76 0.00 0.00

time (sec)

N/A 0.175 10.014 0.000 0.000 0.000 6.035 0.000 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 56 0 0 0 44 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.76 0.00 0.00

time (sec)

N/A 0.169 10.011 0.000 0.000 0.000 1.809 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 56 0 0 0 44 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.76 0.00 0.00

time (sec)

N/A 0.169 10.016 0.000 0.000 0.000 0.689 0.000 0.000

[next] [prev] [prev-tail] [front] [up]